axiomatic proof rule
[计] 公理证明规则
热门查询
- admixture n. 混合；添加物；掺和剂
- bowler n. 圆顶礼帽；投球手；玩滚球的人 n. (Bowler)人名；(英)鲍勒
- heroically adv. 英雄地；超人地；冒险地
- overwritten adj. 覆盖的；重写的 v. 写得过多；写满；重写（overwrite的过去分词）
- faker n. 摊贩；骗子；伪造者，伪装者 n. (Faker)人名；(阿拉伯)法克尔
- flammable n. 易燃物 adj. 易燃的；可燃的；可燃性的
- AP abbr. 美国联合通讯社（Associated Press）；空气污染（Air Pollution）；大气规划（Air Program）；汇编程序（Assembly Program） n. (Ap)人名；(中)鸭(广东话·威妥玛)
- horn n. 喇叭，号角；角 vt. 装角于 n. (Horn)人名；(英、德、匈、捷、罗、波、芬、希、瑞典)霍恩；(法)奥尔恩；(柬)洪
- point n. 要点；得分；标点；[机] 尖端 vt. 指向；弄尖；加标点于 vi. 表明；指向 n. (Point)人名；(法)普安
- cometary adj. 彗星的；彗星似的
- grouping n. 分组，分类 v. 分组（group的现在分词）
- yeah adv. 是 int. 是
- requisite n. 必需品 adj. 必备的，必不可少的；需要的
- unpatriotic adj. 不爱国的；无爱国心的
- coffeehouse n. 咖啡馆 vi. 进行漫谈；聊天
- unbaked adj. 未焙的；未成熟的
- erection n. 勃起；建造；建筑物；直立
- bag n. 袋；猎获物；（俚）一瓶啤酒 vt. 猎获；把…装入袋中；占据，私吞；使膨大 vi. 松垂
- sportsmanlike adj. 有体育道德的；有运动员精神的
- propria 固有层
考试词汇表
- correlation time
- correlative with
- correndonuclease
- correspond about
- correspondencies
- correspondential
- corresponding to
- corridor bashing
- corridor traffic
- corridor warrior
- corriedale sheep
- corrieshalloches
- corrigan disease
- corriparta virus
- corroborant food
- corroboree frogs
- corroded crystal
- corrodokote test
- corrosion action
- corrosion attack
